Adding metadata to Orc to support reasoning about grid programs
نویسندگان
چکیده
Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications with metadata that provide a means to extend an Orc specification with implementation oriented information. We argue that such specifications provide a useful refinement step in allowing reasoning about implementation related issues ahead of actual implementation or even prototyping. As examples, we demonstrate how such extended specifications can be used for investigating security related issues and for evaluating the cost of handling grid resource faults. The approach emphasises a semi-formal style of reasoning that makes maximum use of programmer domain knowledge and experience.
منابع مشابه
Deriving Grid Applications from Abstract Models
An Orc-based abstract model of grid computation is used as a basis for re-engineering a grid-oriented skeleton based programming environment to remove one of the skeleton system’s recognized weak points. Lightweight reasoning about non-functional properties is used to guide the redesign of the system. It is argued that such a use of a formal model delivers significant return for small investmen...
متن کاملFrom Orc Models To Distributed Grid Java Code
We present O2J, a Java library that allows implementation of Orc programs on distributed architectures including grids and clusters/networks of workstations. With minimal programming effort the grid programmer may implement Orc programs, as he/she is not required to write any low level code relating to distributed orchestration of the computation but only that required to implement Orc expressi...
متن کاملPrototyping and reasoning about distributed systems: an Orc based framework
We discuss a framework supporting fast prototyping as well as tuning of distributed applications. The approach is based on the adoption of a formal model that is used to describe the orchestration of distributed applications. The formal model adopted (Orc by Misra and Cook) can be used to support semi-formal reasoning about the applications at hand. We build on results achieved earlier and show...
متن کاملA Language for Task Orchestration and Its Semantic Properties
Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. Orc provides constructs to orchestrate the concurrent invocation of services – while managing timeouts, priorities, and failure of services or communication. In this paper, we show a trace-based semantic model for Orc, which in...
متن کاملA Framework for Prototyping and Reasoning about Distributed Systems
A framework supporting fast prototyping as well as tuning of distributed applications is presented. The approach is based on the adoption of a formal model that is used to describe the orchestration of distributed applications. The formal model (Orc by Misra and Cook) can be used to support semi-formal reasoning about the applications at hand. The paper describes how the framework can be used t...
متن کامل